Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
281	CSE Framework: A UIMA-based Distributed System for Configuration Space Exploration Elmer Garduno2, Zi Yang1, Yan Fang3, Avner Maiberg1, Collin McCormack4, Eric Nyberg1 1) Carnegie Add to Reading List Source URL: uima.apache.org Language: English - Date: 2013-10-10 09:07:35 Theoretical computer science Mathematical optimization Index term Science Knowledge Academia Information retrieval Algorithm Mathematical logic
282	Practical Challenges when Implementing a Distributed Population of Cloud-Computing Simulators Controlled by a Genetic Algorithm K. Mills, C. Dabrowski & D. Santay National Institute of Standards & Technology Gaithersburg Add to Reading List Source URL: www.nist.gov Language: English - Date: 2013-04-02 10:45:35 Parallel computing Electronic design automation Cybernetics Genetic algorithm Mathematical optimization Computer cluster Simulation Mass spectrometry software Logic simulation Computing Electronic engineering Digital electronics
283	MMDS 2014: Workshop on Algorithms for Modern Massive Data Sets Stanley Hall University of California at Berkeley Add to Reading List Source URL: mmds-data.org Language: English - Date: 2014-06-13 14:52:49 Cybernetics Network theory Data mining Operations research Algorithm Mathematical logic PageRank Machine learning Mathematical optimization Mathematics Applied mathematics Graph theory
284	Chapter 5: Random Sampling and Randomized Rounding of Linear Programs (cp. Williamson & Shmoys, Chapter 5) Add to Reading List Source URL: www.coga.tu-berlin.de Language: English - Date: 2012-11-28 07:15:06 NP-complete problems Combinatorial optimization Analysis of algorithms Logic in computer science Time complexity Boolean satisfiability problem Randomized algorithm Algorithm Maximum satisfiability problem Theoretical computer science Applied mathematics Computational complexity theory
285	WSEAS TRANSACTIONS ON MATHEMATICS Issue 6 . Volume 6 . June 2007 ISSN: [removed] Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-07-10 20:11:14 Operations research Travelling salesman problem Linear programming Combinatory logic Optimization problem Four-square cipher Obfuscated code Mathematics Theoretical computer science Applied mathematics
286	Source-to-Source Architecture Transformation for Performance Optimization in BIP Marius Bozga Verimag Laboratory [removed] Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Applied mathematics Theoretical computer science Denotational semantics Logic in computer science
287	Complexity of fuzzy answer set programming under Lukasiewicz semantics: First results Marjon Blondeel1 ? , Steven Schockaert2 ?? , Martine De Cock2 , and Dirk Vermeir1 1 Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2012-01-17 09:39:13 Logic programming Logic in computer science Non-classical logic Mathematical optimization Stable model semantics Answer set programming Fuzzy logic NP Computational complexity theory Theoretical computer science Applied mathematics Complexity classes
288	Review of1 How to Think about Algorithms by Jeff Edmonds Cambridge University Press, 2008 xiv+450 pages, ISBN: [removed]Hardback, £55.00, $99.00), [removed]Paperback, £19.99, $36.99) Add to Reading List Source URL: www.eecs.yorku.ca Language: English - Date: 2009-01-14 12:03:51 Operations research Analysis of algorithms Mathematical logic Algorithms Mathematical optimization Greedy algorithm Recursion Time complexity Search algorithm Mathematics Applied mathematics Theoretical computer science
289	0 Efficient Relaxed Search in Hierarchically-Clustered Sequence Datasets ¨ Munchen ¨ KAI C. BADER, Technische Universitat Add to Reading List Source URL: grothoff.org Language: English - Date: 2013-04-18 09:43:57 Algorithm Mathematical logic Theoretical computer science Cut Bipartite graph Graph theory Mathematics Combinatorial optimization
290	PARALLEL LOGIC CONTROL ALGORITHM SEPARATION QUALITY ANALYSIS IN THE SYNTHESIS OF LOGIC MULTICONTROLLERS Eduard I. Vatutin Department of Computer Science Kursk State Technical University Add to Reading List Source URL: evatutin.narod.ru Language: English - Date: 2013-04-08 20:19:46 Mathematical optimization Parallel computing Algorithm Mathematical logic Theoretical computer science

UPDATE